CaPiTo: protocol stacks for services
نویسندگان
چکیده
منابع مشابه
Protocol Stacks for Services
We show how to model service-oriented applications using process algebras such that, on the one hand, we can achieve a certain level of abstraction without being overwhelmed by the underlying implementation details and, on the other hand, we respect the concrete industrial standards used for implementing the service-oriented applications. By doing so, we will be able to not only reason about ap...
متن کاملDynamic protocol stacks
Many people around the globe enjoy the amenities of a ubiquitously available communication infrastructure. This infrastructure is used in a variety of scenarios: It is used for personal communication with friends or business partners, to obtain information or entertainment from a service provider, or for buying things without being physically present in a shop. Additionally, the same infrastruc...
متن کاملComponent Framework Technology for Flexible Protocol Stacks
The context of this paper and the corresponding challenges are formed by network services and their requirements to the underlying protocol stack. The relevance of this research is confirmed by three recent trends in network services and their execution environment: growing reliance of businesses and individuals on network connectivity, highly dynamic network characteristics, and a wide range o...
متن کاملA System Architecture for Evolving Protocol Stacks
A majority of network architectures aim at solving specific shortcomings of the original Internet architecture. While providing solutions for the particular problems, they often lack in flexibility and do not provide general concepts for future networking requirements. In contrast, we introduce a network architecture that aims to be versatile enough to serve as a foundation for the future Inter...
متن کاملComponent framework technology for protocol stacks
Computer networks are growing ever more important in our daily lives, as witnessed, for example, by the enormous growth of the Internet and its applications. Networks (wired or wireless) connect not only the now established players in the networked arena, such as PC’s, workstations, laptops, routers, firewalls and servers, but also increasingly less conventional devices such as cars, digital te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2011
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-011-0174-7